Nuprl Definition : valid-sys-dcdr
11,40
postcript
pdf
valid-sys-dcdr{i:l}(
es
;
Config
;
Cmd
;
Sys
)
== TERMOF{
decidable
valid-sys
:ObjectId, 1:l, i:l}(
es
,
Config
,
Cmd
,
Sys
)
latex
clarification:
valid-sys-dcdr{i:l}
valid-sys-dcdr
(
es
;
Config
;
Cmd
;
Sys
)
== TERMOF{
decidable
valid-sys
:ObjectId, 1:l, i:l}(
es
,
Config
,
Cmd
,
Sys
)
latex
Definitions
f
(
a
)
,
decidable
valid-sys
FDL editor aliases
valid-sys-dcdr
origin